Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
871	U:/Documents/Rech/PositionPapers/Emsoft07/Latex/grandChallenges_Sifakis.dvi Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Formal methods Formal verification Logic in computer science Theoretical computer science Abstraction Programming paradigm Embedded system Software design Communications protocol Computing Software engineering Electronic engineering
872	The Embedded Systems Design Challenge? Thomas A. Henzinger1 and Joseph Sifakis2 1 2 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Scientific modeling Formal methods Actor model Concurrent computing Embedded system Programming language Computer science Modeling language Hardware description language Software engineering Design Systems engineering
873	Formal and informal financing in a Chicago ethnic neighborhood Philip Bond and Robert Townsend The Community Reinvestment Add to Reading List Source URL: www.chicagofed.org Language: English - Date: 2009-11-22 11:02:40 United States housing bubble Debt Loans Mortgage industry of the United States Banking Financial intermediary Community Reinvestment Act Federal Reserve System Credit Financial economics Finance Economics
874	1. Title Morphological Spatial Pattern Analysis (MSPA) A novel technology to detect perforations and connectors in digital images 2. Customer/User European Commission, European Environment Agency, United States Forest S Add to Reading List Source URL: geohub.jrc.ec.europa.eu Language: English - Date: 2012-11-27 08:54:55 Formal sciences Cross-platform software Geographic information system Image analysis Mathematica Mathematical software Science Application software
875	Kimmo Rossi European Commission DG CONNECT Unit CNECT.G.3 Data Value Chain Add to Reading List Source URL: www.w3.org Language: English - Date: 2012-06-20 09:29:59 Formal sciences Directorate-General for Information Society and Media EHealth Europeana Big data Geographic information system Technology Data management Science
876	House of Microdata (HoM) and Research Data and Service Centre (RDSC) at the Deutsche Bundesbank – a Draft Concept Workshop on Integrated Management of Micro-Databases, hosted by the Banco de Portugal, Porto, June 20-22 Add to Reading List Source URL: www.bportugal.pt Language: English - Date: 2014-03-21 15:35:30 Science Data Deutsche Bundesbank Economy of Germany European System of Central Banks Formal sciences Microdata Data warehouse Database Data management Business intelligence Statistics
877	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems Model-based Engineering for Systems of Systems: the COMPASS Manifesto Technical Note Number: Manifesto Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2013-11-12 03:49:22 Knowledge Systems science Cybernetics Complex systems theory System of systems Emergence System Formal verification Formal methods Science Systems engineering Systems theory
878	A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing by Adrian D. Thurston Add to Reading List Source URL: www.complang.org Language: English - Date: 2008-12-15 22:45:48 Programming language theory Compiler construction Parsing LR parser TXL Earley parser CYK algorithm Formal grammar Programming language Formal languages Combinatorics Software engineering
879	Journal on Satisfiability, Boolean Modeling and Computation[removed]The Sat4j library, release 2.2 system description Daniel Le Berre∗ Anne Parrain Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2010-07-09 05:53:23 Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Solver Satz ECLiPSe Unsatisfiable core Theoretical computer science Applied mathematics Constraint programming
880	Ancient symbols, computational linguistics, and the reviewing practices of the general science journals Richard Sproat∗ Center for Spoken Language Understanding Add to Reading List Source URL: rws.xoba.com Language: English - Date: 2010-07-09 14:35:17 Formal languages Natural language processing Logical syntax Metalogic Indus Valley Civilization Indus script Entropy Writing system Pictish stones Science Linguistics Logic

UPDATE